Перевод: с английского на все языки

со всех языков на английский

bound occurrence

См. также в других словарях:

  • bound variable — A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… …   Philosophy dictionary

  • Universal probability bound — A universal probability bound is a probabilistic threshold whose existence is asserted by William A. Dembski and is used by him in his works promoting intelligent design. It is defined as A degree of improbability below which a specified event of …   Wikipedia

  • An Occurrence at Owl Creek Bridge — For the Twilight Zone episode, see An Occurrence at Owl Creek Bridge (film). For the American Dad episode, see An Incident at Owl Creek. An Occurrence at Owl Creek Bridge Author Ambrose Bierce Country United States Language English …   Wikipedia

  • Chernoff bound — In probability theory, the Chernoff bound, named after Herman Chernoff, gives exponentially decreasing bounds on tail distributions of sums of independent random variables. It is better than the first or second moment based tail bounds such as… …   Wikipedia

  • Generalization (logic) — Generalization is an inference rule of predicate calculus which states that:: If vdash P(x) is true (valid) then so is vdash forall x , P(x) . Generalization can be abbreviated as GEN. The inference rule can be summarized as the sequent: P(x)… …   Wikipedia

  • liable — Bound or obliged in law or equity; responsible; chargeable; answerable; compellable to make satisfaction, compensation, or restitution. Homan v. Employers Reinsurance Corporation, 345 Mo. 650, 136 S.W.2d 289, 298. Obligated; accountable for or… …   Black's law dictionary

  • liable — Bound or obliged in law or equity; responsible; chargeable; answerable; compellable to make satisfaction, compensation, or restitution. Homan v. Employers Reinsurance Corporation, 345 Mo. 650, 136 S.W.2d 289, 298. Obligated; accountable for or… …   Black's law dictionary

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… …   Universalium

  • KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… …   Encyclopedia of Judaism

  • Europe, history of — Introduction       history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»